Trasformazione naturale

In teoria delle categorie una trasformazione naturale è una freccia tra funtori "paralleli".

che rende possibile definire la categoria ${\displaystyle {\mathcal {B}}^{\mathcal {A}}}$ di tutti i funtori

${\displaystyle F:{\mathcal {A}}\longrightarrow {\mathcal {B}}}$

tra due categorie ${\displaystyle {\mathcal {A}},{\mathcal {B}}}$ assegnate.